Over 25 years ago, the first author conjectured in [15] that the existence of arbitrarily large primes is provable from the axioms I Δ₀(π) + def(π), where π(x) is the number of primes not exceeding x, IΔ₀(π) denotes the theory of Δ₀ induction for the language of arithmetic including the new function symbol π, and de f(π) is an axiom expressing the usual recursive definition of π. We prove a modified version in which π is replaced by a more general (...) function ξ that counts some of the primes below x (which primes depends on the values of parameters in ξ), and has the property that π is provably Δ₀(ξ) definable. (shrink)

하루 10분, 나를 변화시키는 짧고 깊은 생각 고전문헌학자 배철현의 인문 에세이 ◎ 도서 소개 베스트셀러 『심연』 『수련』 『정적』 『승화』 4부작 완결판! 승화, 더 높은 차원의 삶을 산다는 것 자신의 마음을 변화시킬 수 없는 사람은 그 무엇도 바꿀 수 없다. 내가 바라는 나 자신이 되기 위해 오늘 어떤 생각을 하고 어떤 행동을 할 것인가! 고전문헌학자 배철현의 인문 에세이 시리즈 중 마지막 책인 『승화』는, 흔들리는 삶 속에서 나를 지켜내기 위한 성찰의 방법을 이야기한다. 저자는 ‘흠모하는 나 자신으로 살고 있는가’라는 질문을 마음에 새긴 하루는 (...) 어제와 다를 것이라고 말한다. ‘승화’란 더 나은 자신을 위해 혁신하려는 용기를 갖는 삶의 태도다. 단어의 어원과 개념 속에서 숨은 의미를 발굴해 풀어내는 저자의 문장들은, 삶의 의미를 찾고 싶은 사람들에게 소중한 매뉴얼이 되어줄 것이다. ◎ 출판사 서평 산다는 것은 매일 천천히 태어나는 과정이다 이대로 살 것인가, 내가 바라는 삶을 살 것인가 『승화』는 『심연』(2016), 『수련』(2018), 『정적』(2019)을 거쳐 완성한 인문 에세이 4부작의 마지막 책이다. 자신의 ‘심연’에서 내면의 소리를 듣고, 삶의 군더더기와 같은 불필요한 생각을 버리는 ‘수련’을 한 후, 평정심을 위한 마음의 ‘정적’을 지니고 나면 비로소 만나는 단계가 ‘승화’다. ‘승화’는 지금의 삶보다 더 높은 차원의 삶을 추구하려는 마음을 뜻한다. ‘승화’는 아무런 유혹도 시련도 없는 완성된 상태가 아니다. 이전에는 보이지 않던 더 높은 정상을 발견한 후 생기는 겸허한 마음이다. 마치 동네 야산의 정상에 오른 사람이 그 산보다 높은 산의 존재가 있다는 것을 깨닫고 겸손한 마음을 지니게 되는 것과 같다. 이때 필요한 질문이 “내가 바라는 나는 무엇인가”, “나는 나 자신을 흠모하며 살고 있는가”이다. 저자는 다른 사람과의 관계가 아니라 ‘자기-자신’과의 관계를 새롭게 정의하려는 노력이 필요하다고 말한다. 변화는 삶의 가치와 방향을 외부가 아닌 자기 내부에 두는 것에서 시작한다. 어제와 달라질 오늘의 자기 자신에 대한 신뢰, 지속적으로 자신을 혁신하려는 용기 있는 도전이 일상의 변화를 만든다. 자기 성찰을 돕는 28개의 단어 사유의 정수가 응축된 인생의 아포리즘 이 책은 공허, 고통, 양심, 내면, 변모, 미지 등 28개의 글로 이루어져 있다. 각각의 단어는 자기 자신을 변화시키는 길잡이이기도 하다. 고전문헌학자인 저자는 산스크리트어, 히브리어, 라틴어 등 고대 언어에서 어원을 찾아 숨은 뜻을 발굴해내고 새롭게 재구성했다. 또한 『요가수트라』, 『우파니샤드』와 같은 잘 알려지지 않은 경전에서부터 단테, 소포클레스, 아우렐리우스 등의 고전에 대한 깊이 있는 해석은 시대와 학문의 경계를 넘어 사유의 정수를 느끼게 한다. 나아가 저자가 시골 생활을 하며 느낀 자연에 대한 묵상이 어우러져 삶의 본질에 대한 묵직한 울림을 준다. [주요 문장] - 오늘 나는 누구와 또 무엇과 부딪칠까? 내 머릿속 어떤 생각들과 만나 어떻게 반응할까? 나는 오늘 내가 그것들을 어떻게 처리하는지를 관찰하고 싶다. - 하루의 마무리는 저녁이 아니라 아침에 완성된다. 아침을 어떻게 보내느냐에 따라 하루의 질이 결정된다. - 자신의 일에 몰입하면 우주의 주인인 시간조차 달아나버린다. 자기 자신에게 몰입하는 사람은 시간에게 자신을 양보하지 않는다. - 하루라는 시간은 흠모하는 나를 만들기 위한 훈련이다. 훈련은 과거의 나로 주저앉히는 게으름과 욕심에 대한 체계적인 공격이다. 변화란 내가 나에게 하는 간절한 부탁이다 나는 오늘, 나에게 무엇을 당부할 것인가 일상에서 부딪히는 벽은 방해물이 아니라 내가 극복해야 할 유일한 길이다. 하지만 극복의 결과는 미미할 수 있음을 기억해야 한다. 불안한 일상은 변함없을 것이기 때문이다. 그럼에도 무의미와 모순으로 가득해 보이는 삶을 있는 그대로 수용하고, 오늘 하루를 인생의 마지막 날처럼 정성스럽게 살려는 노력만이 우리가 할 수 있는 최선일 것이라고 저자는 말한다. 이른 아침 혹은 잠들기 전, 하루 10분씩이라도 책에서 소개하는 단어들을 삶의 일부로 받아들인다면 조용한 변화가 일어나는 것을 경험할 수 있을 것이다. 내가 발견해야 할 별은 도달할 수 없는 먼 하늘에 있지 않다. 그 별은 눈을 감고 자신의 마음을 들여다볼 때 비로소 보이는 원석이기 때문이다. 그 원석은 지금도 발견되기만을 기다리고 있다. ◎ 본문 중에서 현대 문명은 키르케고르가 말한 “죽음에 이르는 병”처럼 영적인 병에 걸려 외로움이라는 늪에 빠져 있다. 우리는 그 안에 갇혀 심연에 묻어둔 금기된 악을 분출하고 있는 것인가? (…) 오늘날 우리를 이 늪에서 건져낼 가치는 무엇인가? [공허, 자신을 관찰하는 터전 : 32쪽] 어리석은 자는 그런 역경을 상상한 적이 없다. 그는 모든 것들이 자기 생각대로 ‘순조롭게’ 흘러갈 거라고 착각한다. 우주와 자연은 인간의 상상대로 돌아가는 법이 없다. 인간의 생각은 언제나 부족하고 편협하기 때문이다. [고통, 생명의 존재 방식 : 40쪽] 오늘 하루, 내가 가야 할 방향을 지시하는 ‘또 다른 나’와 마주한다. 부산한 일과 생각을 정지시키고 나만의 제단에서 가만히 눈을 감는다. 묵상이란 좌정과 몰입을 방해하기 위해 계속 짖어대는 사납고 무시무시한 한 마리 검은 개 앞에서도 꿈쩍하지 않는 개다. [도야, 나만의 임무 : 116쪽] 요즘처럼 속절없이 흐르는 시간이 야속하기도 하고 아쉽기도 한 적이 없다. 나 자신에게 무언가를 요구하지만, 그것에 잘 부응하지 못하는 것 같아 늘 아쉽다. 그 아쉬움을 방치하면 소홀과 게으름이 나를 꼼짝달싹 못 하게 붙들고 깊은 실의의 늪으로 데려간다. [신중, 허상으로부터의 탈출 : 161쪽] 우리가 사는 세상은 베이스캠프다. 우리는 이곳에서 영원히 살 수 없다. 인간은 탐구하고 모험하고 자신이 가진 잠재력의 한계를 팽창시키려 시도할 때, 비로소 대중에서 개인으로, 범인에서 초인으로, 동물적 인간에서 신적 인간으로 승화한다. [안내, 인생이라는 베이스캠프 : 211쪽] 침묵한 채 자족하는 나무들을 내려다보았다. 모두 자기 모습 그대로의 품위를 지키며 순간을 즐기고 있다. 옆에 있는 나무를 쳐다보지도 부러워하지도 시기하지도 않는다. 나무들이 나에게 묻는다. “당신은 당신입니까?” [자기문화, 개화를 기다리는 인내 : 221쪽] 변화는 누구에게 요구하는 폭력이 아니라 자신에게 부탁하는 정중한 초대이며, 그 변화를 이루기 위해 의도하는 섬세한 연습이다. 당신은 지금 누군가를 변화시키려 하고 있지는 않은가? 아니면 자신을 변화의 대상으로 삼아 변화하는 중인가? [변화, 나에게 보내는 정중한 초대 : 281쪽]. (shrink)

This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. The insights gained therefrom are used to guide a formalization of emotion triggers, which proceeds in three stages. The first stage captures the conditions that trigger emotions in a semiformal way, i.e., without committing to an underlying formalism and semantics. The second stage captures the main psychological notions used in the emotion model (...) in dynamic doxastic logic. The third stage introduces a BDI-based framework (belief–desire–intention) with achievement goals, which is used to firmly ground the preceding stages. The result is a formalization of emotion triggers for BDI agents with achievement goals. The idea of proceeding in these stages is to provide different levels of commitment to formalisms, so that it remains relatively easy to extend or replace the used formalisms without having to start from scratch. Finally, we show that the formalization renders properties of emotions that are in line with the psychological model on which it is based. (shrink)

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

Realities of the formed information society made actual for inclusive education a problem of formation of professionals of the new directions capable to apply information technologies to improvement of interaction between participants of process of distance learning. Until recent time the institute of distance learning had no analogs in our educational system. It has to become one of the most important elements of the organization of remote education. Inclusive education becomes the new strategic direction of modern education in Russia, its (...) program of development to 2020 is designated by the Federal law ‘About the education in the Russian Federation‘ which has come into force on September 1, 2013. Ideas of inclusive training were born from a pressing need of society to help children to be integrated with features of development into society. Without it a creation of a new civilized society, the education system that meets the requirements of the humanistic principles is not possible. In this connection, creation of a substantial and technological basis of the organization of inclusive education of children in the mode of distance learning is an extremely important for today social, moral and pedagogical problem. In its center are the development of the subject, granting equal opportunities to each pupil to build the individual educational trajectory, culturological cultivation of the person capable to take an independent position in relation to external conditions. Distance learning serves as strong and active technology of socialization of such children. However, in the theory and a technique of training, the problem of distance learning of children with disabilities is insufficiently solved that is caused by unavailability of most of teachers to apply these technologies. There is a contradiction between objective practical need of distance learning for children with disabilities and insufficient readiness of a theoretical and technological basis. This is a main problem discussed in the study. In theoretical plan, it is a problem of development of the practical-focused theoretical and technological basis of distance learning of children with disabilities. On the practical level, it is a problem of formation of the subject information and education environment, designing of the contents, definition of methods, pedagogical technologies, the conditions of formation promoting achievement of the planned educational results and development of cognitive independent activity without prejudice to health of children on the basis of the accounting of their individual abilities. Technological effectiveness of the purposes is provided with prediction of educational results, their expression through requirements to actions of pupils. Recent time, children only start studying and mastering remote technologies therefore, first of all, they have to seize rational ways of educational activity and learn to work with information, i.e. priority value has to be allocated for formation of informative and logical and informative and information universal educational actions. (shrink)

History of Mongolian philosophy, intellectual life, and politics; covers until 14th century.

Research monography about the works of famous Mongolian writer, scholar B. Rinchen.

Research monograph on Buddhist Philosophy Works by Z.Agvaanbaldan (1797-1864) written by the famous Mongolian philosophy scholar Ch.Jugder. Re-publication of the 1978 edition.

Philosophers of technology from socialistic and western countries met begin June 1986 at Veszprém, Hungary, to discuss problems of their field arising from largely analogous situations concerning the impact of technology on society. The report gives the main theses of the invited lectures and sums up some topics on which all participants agreed during the open minded discussions.

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

The occurrence of hiccoughs (hiccups) is very widespread and yet their neuronal origin and physiological significance are still unresolved. Several hypotheses have been proposed. Here we consider a phylogenetic perspective, starting from the concept that the ventilatory central pattern generator of lower vertebrates provides the base upon which central pattern generators of higher vertebrates develop. Hiccoughs are characterized by glottal closure during inspiration and by early development in relation to lung ventilation. They are inhibited when the concentration of inhaled CO2 (...) is increased and they can be abolished by the drug baclofen (an agonist of the GABAB receptor). These properties are shared by ventilatory motor patterns of lower vertebrates, leading to the hypothesis that hiccough is the expression of archaic motor patterns and particularly the motor pattern of gill ventilation in bimodal breathers such as most frogs. A circuit that can generate hiccoughs may persist in mammals because it has permitted the development of pattern generators for other useful functions of the pharynx and chest wall muscles, such as suckling or eupneic breathing. BioEssays 25:182–188, 2003. © 2003 Wiley Periodicals, Inc. (shrink)